- смертен
- mortalmortals
Новый русско-английский словарь. 2013.
смертен
Смотреть что такое "смертен" в других словарях:
Логика первого порядка — (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего порядка. Содержание 1 … Википедия
Исчисление предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Исчисления предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Логика предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Предикатная логика — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Предикат (свойство отд. предмета) — Предикат (от позднелат. praedicatum сказанное), то же, что свойство; в узком смысле свойство отдельного предмета, например «быть человеком», в широком смысле свойство пары, тройки, вообще n ки предметов, например «быть родственником». П. в… … Большая советская энциклопедия
Предикат — I Предикат (от позднелат. praedicatum сказанное) то же, что свойство; в узком смысле свойство отдельного предмета, например «быть человеком», в широком смысле свойство пары, тройки, вообще n ки предметов, например «быть родственником». П … Большая советская энциклопедия
МАТЕМАТИЧЕСКАЯ ЛОГИКА — Ее еще называют символической логикой. М. л. это та же самая Аристотелева силлогистическая логика, но только громоздкие словесные выводы заменены в ней математической символикой. Этим достигается, во первых, краткость, во вторых, ясность, в… … Энциклопедия культурологии
Закон исключённого третьего — (лат. tertium non datur, то есть «третьего не дано») закон классической логики, состоящий в том, что из двух высказываний «А» или «не А» одно обязательно является истинным, то есть два суждения, одно из которых является… … Википедия
Tertium non datur — Закон исключённого третьего закон классической логики, состоящий в том, что из двух высказываний «А» или «не А» одно обязательно является истинным, т.е. два суждения, одно из которых является отрицанием другого, не могут быть одновременно… … Википедия
Закон исключенного третьего — Закон исключённого третьего закон классической логики, состоящий в том, что из двух высказываний «А» или «не А» одно обязательно является истинным, т.е. два суждения, одно из которых является отрицанием другого, не могут быть одновременно… … Википедия
